Ennals, Robert: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the third ACM SIGPLAN international conference - Baltimore, Maryland, United States (1998.09.26-1998.09.29)] Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 - Verbose typing

Year:

1998

Language:

english

File:

PDF, 119 KB

english, 1998

2

[ACM Press the 2007 ACM SIGMOD international conference - Beijing, China (2007.06.11-2007.06.14)] Proceedings of the 2007 ACM SIGMOD international conference on Management of data - SIGMOD '07 - MashMaker

Ennals, Robert J., Garofalakis, Minos N.

Year:

2007

Language:

english

File:

PDF, 601 KB

english, 2007

3

[ACM Press the eighth ACM SIGPLAN international conference - Uppsala, Sweden (2003.08.25-2003.08.29)] Proceedings of the eighth ACM SIGPLAN international conference on Functional programming - ICFP '03 - Optimistic evaluation

Ennals, Robert, Jones, Simon Peyton

Year:

2003

Language:

english

File:

PDF, 236 KB

english, 2003

4

[ACM Press the third ACM SIGPLAN international conference - Baltimore, Maryland, United States (1998.09.26-1998.09.29)] Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 - Controlled temporal non-determinism for reasoning with a machine of finite speed

Year:

1998

Language:

english

File:

PDF, 113 KB

english, 1998

5

Controlled temporal non-determinism for reasoning with a machine of finite speed

Journal:

ACM SIGPLAN Notices

Year:

1999

Language:

english

File:

PDF, 113 KB

english, 1999

6

Verbose typing

Journal:

ACM SIGPLAN Notices

Year:

1999

Language:

english

File:

PDF, 119 KB

english, 1999